z3_add_component(polysat
  SOURCES
    polysat.cpp
  COMPONENT_DEPENDENCIES
    util
    dd
)
